A Science of Reasoning (Extended Abstract)

Reasoning about exceptions in ontologies: a skeptical preferential approach (Extended Abstract)

Reasoning , representation and social practice ( extended abstract )

The idea that human cognition essentially involves symbolic reasoning and the manipulation of representations which somehow stand for entities in the real world is central to “cognitivist” approaches to AI and cognitive science, but has been repeatedly challenged within these disciplines; while the very idea of representation has been problematised by philosophers such as Dreyfus, Davidson, McD...

Assessing clinical reasoning skills using Script Concordance Test (SCT) and extended matching questions (EMQs): A pilot for urology trainees

Introduction: Clinical reasoning skill is the core of medicalcompetence. Commonly used assessment methods for medicalcompetence have limited ability to evaluate critical thinking andreasoning skills. Script Concordance Test (SCT) and ExtendedMatching Questions (EMQs) are the evolving tests which areconsidered to be valid and reliable tools for assessing clinicalreasoning and judgment. We perfor...

Fully Abstract Trace Semantics for Low-level Isolation Mechanisms – Extended Version

Many software systems adopt isolation mechanisms of modern processors as software security building blocks. Reasoning about these building blocks means reasoning about elaborate assembly code, which can be very complex due to the loose structure of the code. One way to overcome this complexity is providing the code with a more structured semantics. This paper presents one such semantics, namely...

The Impact of Hydrochloride Heroin on Mental Flexibility, Abstract Reasoning, Impulsivity, and Attention

Introduction: Drug addiction could lead to severe impairments in executive and neurocognitive functions but study on the impact of hydrochloride heroin on executive functions has remained in infancy in Iran. The aim of this study was to examine the relationship between addiction to hydrochloride heroin and executive functioning in several cognitive domains including mental flexibility, abstract...

A fuzzy reasoning method based on compensating operation and its application to fuzzy systems

In this paper, we present a new fuzzy reasoning method based on the compensating fuzzy reasoning (CFR). Its basicidea is to obtain a new fuzzy reasoning result by moving and deforming the consequent fuzzy set on the basis of themoving, deformation, and moving-deformation operations between the antecedent fuzzy set and observation information.Experimental results on real-world data sets show tha...